Computable Completely Decomposable Groups

نویسندگان

  • RODNEY DOWNEY
  • ALEXANDER G. MELNIKOV
چکیده

A completely decomposable group is an abelian group of the form ⊕ i Hi, where Hi ≤ (Q,+). We show that every computable completely decomposable group is ∆5-categorical. We construct a computable completely decomposable group which is not ∆4-categorical, and give an example of a computable completely decomposable group G which is ∆4-categorical but not ∆3-categorical. We also prove that the index set of computable completely decomposable groups is arithmetical.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Effectively Categorical Abelian Groups

We study effective categoricity of computable abelian groups of the form ⊕ i∈ω H, where H is a subgroup of (Q,+). Such groups are called homogeneous completely decomposable. It is well-known that a homogeneous completely decomposable group is computably categorical if and only if its rank is finite. We study ∆n-categoricity in this class of groups, for n > 1. We introduce a new algebraic concep...

متن کامل

Degrees of orders on torsion-free Abelian groups

We show that if H is an effectively completely decomposable computable torsion-free abelian group, then there is a computable copy G of H such that G has computable orders but not orders of every (Turing) degree.

متن کامل

Decidability and Computability of Certain Torsion-Free Abelian Groups

We study completely decomposable torsion-free abelian groups of the form GS := ⊕n∈SQpn for sets S ⊆ ω. We show that GS has a decidable copy if and only if S is Σ2 and has a computable copy if and only if S is Σ 0 3.

متن کامل

Varieties of Completely Decomposable Forms and Their Secants

This paper is devoted to the study of higher secant varieties of varieties of completely decomposable forms. The main goal is to develop methods to inductively verify the non-defectivity of such secant varieties. As an application of these methods, we will establish the existence of large families of non-defective secant varieties of “small” varieties of completely decomposable forms.

متن کامل

On the cotypeset of torsion-free abelian groups

In this paper the cotypeset of some torsion-free abelian groups of finite rank is studied. In particular, we determine the cotypeset of some rank two groups using the elements of their typesets. Introduction One of the important and known tools in the theory of torsion-free abelian groups is type and the typeset of a group. This set which is determined from the beginning of the the study the to...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013